window: don't change bottom margin for automatic CSD
authorCosimo Cecchi <cosimoc@gnome.org>
Thu, 22 Aug 2013 15:11:23 +0000 (16:11 +0100)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 24 Aug 2013 00:17:24 +0000 (20:17 -0400)
commitfde3d5afe86dc708dffa14a5b10b918fb468f0e3
tree994a1fed95737430dca0e9da0abfe35353310629
parent4787a1ac61bef1be6999b170962a1d068f1c92f3
window: don't change bottom margin for automatic CSD

We'll use a style class to be able to give this a different appearance,
but for the time being we don't really need to give this such different
margin.

https://bugzilla.gnome.org/show_bug.cgi?id=706592
gtk/gtkwindow.c